61. Mathematical Foundations of Computer Science 1977 :
پدیدآورنده: by J. Gruska.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.
رده :
QA267
.
B954
1977
62. Mathematical Foundations of Computer Science 1976 :
پدیدآورنده: edited by Antoni Mazurkiewicz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Computer Science.,Computers.
رده :
QA267
.
3
E358
1976
63. Modula-2 :
پدیدآورنده: by Daniel Thalmann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Software engineering.
رده :
QA76
.
73
.
M63
B933
1985
64. Operations research :
پدیدآورنده: Hamdy A. Taha.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Operations research.,Programming (Mathematics),Investigación operacional.,Operations Research,Operations research.,Pesquisa operacional.,Programación (Matemáticas),Programming (Mathematics)
رده :
T57
.
6
.
T3
2007
65. Ordered Sets
پدیدآورنده: edited by Ivan Rival.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra.,Computational complexity.,Computer science.
66. PASCAL for Programmers
پدیدآورنده: by Susan Eisenbach, Christopher Sadler.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.
رده :
QA76
.
73
.
P2
B978
1981
67. Papers of the 19th Annual Meeting / Vorträge der 19. Jahrestagung
پدیدآورنده: edited by Wolfgang Bühler, Gustav Feichtinger, Richard F. Hartl, Franz Josef Radermacher, Paul Stähly.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Economics.,Management information systems.
68. Parallel algorithms for numerical linear algebra on a shared memory multiprocessor
پدیدآورنده: Kaya, Dogan
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Applied mathematics
69. Parametric design for architecture /
پدیدآورنده: Wassim Jabi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Architectural design-- Data processing.,Computer-aided design.,Architectural design-- Data processing.,ARCHITECTURE-- Adaptive Reuse & Renovation.,ARCHITECTURE-- Buildings-- Landmarks & Monuments.,ARCHITECTURE-- Professional Practice.,ARCHITECTURE-- Reference.,Computer-aided design.
رده :
NA2728
70. Pointers in C programming :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: C (Computer program language) ;
71. Practical foundations for programming languages /
پدیدآورنده: Robert Harper
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Programming languages (Electronic computers)
رده :
QA76
.
7
.
H377
2013
72. Precalculus :
پدیدآورنده: James Stewart, Lothar Redlin, Saleem Watson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematics, Textbooks.
رده :
QA39
.
3
.
S74
2009
73. Principles and Practice of Structural Equation Modeling
پدیدآورنده: / Rex B. Kline,Kline, Rex B.,
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Structural equation modeling.,Social sciences--Statistical methods--Data processing.,Social sciences.
74. Proceedings / Parcella 1988 :
پدیدآورنده: by Gottfried Wolf, Tamas Legendi, Udo Schendel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.
75. Proceedings of the International Conference on Artificial Neural Networks :
پدیدآورنده: ICANN '93. Ed. by Stan Gielen ...
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
76. Programming and Meta-Programming in Scheme.
پدیدآورنده: Jon Pearce
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
رده :
QA76
.
73
.
S34
J667
1998
77. Programming from specifications
پدیدآورنده: Carroll Morgan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
78. Programming in Modula-3 :
پدیدآورنده: László Böszörményi, Carsten Weich ; foreword by Joseph Weizenbaum.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Informatik,MODULA.,Modula-3 (Computer program language)
رده :
QA76
.
73
.
M64
L379
1996
79. Programming in Prolog
پدیدآورنده: by William F. Clocksin, Christopher S. Mellish.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.
رده :
QA76
.
73
.
P76
B995
1994
80. Proof and computation
پدیدآورنده: edited by Helmut Schwichtenberg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic programming -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Programmation logique -- Congrès.
رده :
QA76
.
63
E358
1995
